George Berkeley - PDFSEARCH.IO - Document Search Engine

George Berkeley
Results: 261

#	Item
51	PROCEEDINGS, TOUGH Symposium 2006 Lawrence Berkeley National Laboratory, Berkeley, California, May 15–17, 2006 DEPRESSURIZATION-INDUCED GAS PRODUCTION FROM CLASS 1 AND CLASS 2 HYDRATE DEPOSITS George J. Moridis and Mic Add to Reading List Source URL: esd.lbl.gov Language: English - Date: 2014-11-14 11:47:22
52	Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25
53	Published in “Software Security – Theories and Systems”. Proc. of International Software Security Symposium, 2002, pages 283–298. Proof-Carrying Code with Untrusted Proof Rules George C. Necula1 and Robert R. Sch Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:20
54	A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:17
55	pdfauthor CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:29
56	Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:19 Dimension Affine space Affine arithmetic Expected value Randomized algorithm Affine connection Conditional expectation Affine geometry Mathematics Mathematical analysis
57	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming
58	Policy Brief \| JanuaryBerkeleyLaw UNIVERSITY OF CALIFORNIA The Chief Justice Add to Reading List Source URL: www.law.berkeley.edu Language: English - Date: 2015-04-13 19:30:41 Borders of the United States Southwestern United States United States Border Patrol El Paso Texas U.S. Customs and Border Protection Carol Lam Mexico–United States border George W. Bush United States district court Geography of Texas Geography of the United States Texas
59	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
60	Animated Transitions in Statistical Data Graphics Jeffrey Heer, George G. Robertson Abstract—In this paper we investigate the effectiveness of animated transitions between common statistical data graphics such as bar c Add to Reading List Source URL: vis.berkeley.edu Language: English - Date: 2007-08-30 16:00:46 Science Communication design Computational science Scientific modeling Visualization Phase transition Computer animation Traditional animation Scatter plot Computer graphics Visual arts Infographics

UPDATE